Theorem Cardinal.self_le_power

Modification history