Theorem Cardinal.IsRegular.aleph0_le

Modification history