Commit 2024-05-30 11:57 bc1f4640

View on Github →

feat: add card_divisors theorem (#13350) https://leanprover.zulipchat.com/#narrow/stream/217875-Is-there-code-for-X.3F/topic/.E2.9C.94.20For.20counting.20number.20of.20divisors/near/441117464

Estimated changes