Theorem Cardinal.beth_ne_zero

Modification history