Theorem SimpleGraph.free_bot

Modification history