Skip to content

Added subset definition axiom

Sankalp Gambhir requested to merge github/fork/sankalpgambhir/subsetaxiom into main

Added missing subset predicate definition axiom.

Merge request reports