Theorem SimpleGraph.isContained_congr_right

Modification history