Theorem Sym2.toRel_mono_iff

Modification history

2026-03-20 20:15

Mathlib/Data/Sym/Sym2.lean

feat(Data/Sym/Sym2): `fromRel` & `ToRel` order isomorphism (#36467) …

Added Sym2.toRel_mono_iff View on Github →