Theorem Set.dependsOn_restrict

Modification history