Theorem Subtype.coe_prop

Modification history