Theorem ArithmeticFunction.neg_apply

Modification history

2026-10-30 16:27
Mathlib/NumberTheory/ArithmeticFunction/Defs.lean
feat: use `IsApply` for `ArithmeticFunction` (#45386)
Deleted ArithmeticFunction.neg_applyView on Github →
2026-01-31 16:38
Mathlib/NumberTheory/ArithmeticFunction/Defs.lean
feat(NumberTheory/ArithmeticFunction): add ArithmeticFunction.neg_apply (#34653) …
Added ArithmeticFunction.neg_applyView on Github →