Theorem Set.Infinite.card_eq_zero

Modification history

2023-11-13 07:42

Mathlib/SetTheory/Cardinal/Finite.lean

chore: Fix name of `Nat.card_mono` (#8340) …

Added Set.Infinite.card_eq_zero View on Github →