Theorem directed_of_isDirected_le

Modification history