Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-01-31 15:42 c0be8dcb

View on Github →

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

Estimated changes