Commit 2024-10-14 13:31 a67c43d5
View on Github →chore(Algebra.Group.Units): split into Defs
and Basic
file (#17724)
The criteria for including a result in Algebra.Group.Unit.Defs
:
- Can it be defined with only
Defs
imports? - Is it needed for a subsequent
def
orinstance
?