Closed sankalpgambhir closed 2 years ago
Added a missing set theory axiom to define the subset predicate.
Added a missing set theory axiom to define the subset predicate.