Theorem Cardinal.mk_ord_out

Modification history