mathlib3
641a9d30 - feat(model_theory/basic): Substructures (#7762)

Commit

4 years ago

feat(model_theory/basic): Substructures (#7762) Defines substructures of first-order structures

Author

awainverse

Parents