Theorem Relation.ReflGen.symmetric

Modification history

2026-06-10 08:59

Mathlib/Logic/Relation.lean

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

Deleted Relation.ReflGen.symmetric View on Github →

2026-04-19 21:19

Mathlib/Logic/Relation.lean

feat(Logic/Relation): Std.Symm instances (#38229)

Added Relation.ReflGen.symmetric View on Github →