mathlib
c0be8dcb - feat(model_theory/basic): define quotient structures (#11747)

Commit

4 years ago

feat(model_theory/basic): define quotient structures (#11747) Defines prestructures and quotient structures

Author

awainverse

Parents