Theorem Cardinal.preBeth_natCast

Modification history

2026-10-17 10:55

Mathlib/SetTheory/Cardinal/Aleph.lean

chore(SetTheory/Cardinal/Aleph): fix some theorem names (#44859) …

Added Cardinal.preBeth_natCast View on Github →