Theorem Cardinal.ofENat_mul_aleph0

Modification history