Theorem Cardinal.mk_subtype_of_equiv

Modification history