Mathlib Changelog
v4
Changelog
About
Github
Def
Relation.linearOrderOfSymmGen
Modification history
2026-02-06 22:29
Mathlib/Order/Comparable.lean
chore: rename `CompRel` to `Relation.SymmGen` (#34428) …
Added
Relation.linearOrderOfSymmGen
View on Github →