Commit 2022-01-31 15:42 c0be8dcb
View on Github →feat(model_theory/basic): define quotient structures (#11747) Defines prestructures and quotient structures
feat(model_theory/basic): define quotient structures (#11747) Defines prestructures and quotient structures