Theorem Subtype.equiv_iff

Modification history