Theorem SimpleGraph.free_congr_right

Modification history