Theorem UnitalShelf.act_self_act_eq

Modification history

2023-02-28 15:58
Mathlib/Algebra/Quandle.lean
feat: port unital shelves to Algebra.Quandle (#2393) …
Added UnitalShelf.act_self_act_eqView on Github →