Theorem Cardinal.is_prime_iff

Modification history

2023-02-24 10:36

Mathlib/SetTheory/Cardinal/Divisibility.lean

feat: Port SetTheory.Cardinal.Divisibility (#2473)

Added Cardinal.is_prime_iff View on Github →