Theorem UnitalShelf.assoc

Modification history

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