Theorem Finset.continuous_restrict

Modification history