Commit 2023-02-28 15:58 af933241

View on Github →

feat: port unital shelves to Algebra.Quandle (#2393)

algebra.quandle@8631e2d5ea77f6c13054d9151d82b83069680cb1..28aa996fc6fb4317f0083c4e6daf79878d81be33

Estimated changes

Modified Mathlib/Algebra/Quandle.lean

added theorem UnitalShelf.act_act_self_eq

added theorem UnitalShelf.act_idem

added theorem UnitalShelf.act_self_act_eq

added theorem UnitalShelf.assoc