Theorem SimpleGraph.edgeFinset_bot

Modification history