Theorem Finset.continuous_restrict₂_apply

Modification history