Theorem Cardinal.nat_power_aleph0

Modification history