Theorem directedOn_singleton

Modification history