Theorem Cardinal.mk_subtype_mono

Modification history