Theorem Sigma.subtype_ext_iff

Modification history