Theorem Set.MapsTo.val_restrict_apply

Modification history