Theorem Set.val_codRestrict_apply

Modification history