Mathlib Changelog
v4
Changelog
About
Github
Def
monoidAlgebraFoo₂
Modification history
2026-02-15 11:14
MathlibTest/toAdditive.lean
feat(to_additive): automatically infer `relevant_arg` (#35318) …
Added
monoidAlgebraFoo₂
View on Github →