Theorem UnitalShelf.act_act_self_eq

Modification history

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