Def AddMonoidHom.associator

Modification history

2025-05-14 08:44

Mathlib/Algebra/Ring/Associator.lean

feat(Algebra/Ring): associator of a non-associative ring (#22823) …

Added AddMonoidHom.associator View on Github →