Mathlib Changelog
v4
Changelog
About
Github
Def
ArithmeticFunction.sigma
Modification history
2024-02-10 13:10
Mathlib/NumberTheory/ArithmeticFunction.lean
chore(NumberTheory/ArithmeticFunction): remove `Nat.` part from `ArithmeticFunction` namespace (#10399) …
Added
ArithmeticFunction.sigma
View on Github →