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
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