Theorem Subtype.ext_iff_val

Modification history