Theorem Cardinal.ord_ofNat

Modification history