Theorem Cardinal.supᵢ_lt_of_isRegular

Modification history