Theorem SimpleGraph.not_free

Modification history