Theorem SimpleGraph.free_congr

Modification history