Theorem dependsOn_iff_exists_comp

Modification history