Theorem Finset.continuous_restrict_apply

Modification history