Def TypeCat.SymmetricRelation.ofSymmetric

Modification history

2026-06-10 08:59

Mathlib/CategoryTheory/EquivalenceRelation.lean

chore(Order/Defs/Unbundled): deprecate `def Symmetric` in favor of `class Std.Symm` (#38092)

Modified TypeCat.SymmetricRelation.ofSymmetric View on Github →

2026-06-02 18:08

Mathlib/CategoryTheory/EquivalenceRelation.lean

feat(CategoryTheory): define internal equivalence relations (#36541) …

Added TypeCat.SymmetricRelation.ofSymmetric View on Github →