Theorem SimpleGraph.induce_spanningCoe

Modification history