Commit 2025-09-01 18:54 caa187a1
View on Github →feat: 8 ∣ a ^ 2 - 1 for each odd a (#28790)
In this PR, we proved 8 ∣ a ^ 2 - 1 for each odd natural numbers and integers a
feat: 8 ∣ a ^ 2 - 1 for each odd a (#28790)
In this PR, we proved 8 ∣ a ^ 2 - 1 for each odd natural numbers and integers a