Theorem directedOn_iff_directed

Modification history