Theorem Cardinal.beth_zero

Modification history