Theorem IsSymmOp.flip_eq
Modification history
2024-09-15 08:25
Mathlib/Init/Algebra/Classes.lean
refactor: `Logic.OpClass` (#16748) …
Modified IsSymmOp.flip_eqView on Github →2024-09-14 05:31
Mathlib/Init/Algebra/Classes.lean
chore: tidy/move/deprecate `Init.Logic` and `IsSymmOp` more (#16757) …
Modified IsSymmOp.flip_eqView on Github →