Commit 2025-06-06 06:37 820410fe
View on Github →generalize one lemma to general prime (#25452) One lemma was proved for p = 2 but true for a general prime number. The preceding one was false for a general prime other than 2, we add a comment before the statement.