Theorem UnitalShelf.act_idem

Modification history

2024-02-20 10:08
Mathlib/Algebra/Quandle.lean
chore: Remove unnecessary "rw"s (#10704) …
Modified UnitalShelf.act_idemView on Github →
2023-12-02 15:52
Mathlib/Algebra/Quandle.lean
chore: space after `←` (#8178)
Modified UnitalShelf.act_idemView on Github →
2023-02-28 15:58
Mathlib/Algebra/Quandle.lean
feat: port unital shelves to Algebra.Quandle (#2393) …
Added UnitalShelf.act_idemView on Github →