Theorem Subtype.val_prop

Modification history