Theorem SimpleGraph.support_mono

Modification history