Mathlib Changelog
v4
Changelog
About
Github
Theorem
Quot.eqvGen_exact
Modification history
2024-09-02 17:50
Mathlib/Init/Data/Quot.lean
chore: move `Init.Data.Quot` to `Logic.Relation` (#16378)
Modified
Quot.eqvGen_exact
View on Github →
2024-08-31 18:37
Mathlib/Init/Data/Quot.lean
chore(Init/Data/Quot): better naming (#16252) …
Added
Quot.eqvGen_exact
View on Github →