Commit 2025-09-03 19:50 67006b84
View on Github →feat(NumberTheory/ArithmeticFunction): add lemmas for sigma (#27358)
Adds some lemmas around sigma, particularly around when it equals 1. Also reorganizes this file to keep the lemmas about sigma closer together.
These lemmas were identified while doing work for Project Numina.