Theorem Subtype.val_inj

Modification history