Theorem Finset.dependsOn_restrict

Modification history