Theorem Subtype.forall_set_subtype

Modification history