Theorem Sym2.eqBool_spec

Modification history

2023-10-31 02:18

Mathlib/Data/Sym/Sym2.lean

refactor(Data/Sym/Sym2): simplify decidability instances (#8020) …

Deleted Sym2.eqBool_spec View on Github →

2023-01-27 10:07

Mathlib/Data/Sym/Sym2.lean

feat: Port `Data.Sym.Sym2` (#1805)

Added Sym2.eqBool_spec View on Github →