Theorem Sym2.fromRel_eq_fromRel_iff_eq

Modification history

2026-03-20 20:15
Mathlib/Data/Sym/Sym2.lean
feat(Data/Sym/Sym2): `fromRel` & `ToRel` order isomorphism (#36467) …
Added Sym2.fromRel_eq_fromRel_iff_eqView on Github →