Theorem dependsOn_iff_factorsThrough

Modification history