Theorem Cardinal.ord_eq_Inf

Modification history