Theorem Subtype.prop

Modification history