Skip to content

Added subset definition axiom

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

Added a missing set theory axiom to define the subset predicate.

Merge request reports