Theorem SimpleGraph.spanningCoe_induce_le

Modification history