Theorem Cardinal.mk_univ

Modification history