Theorem directedOn_pair'

Modification history