Theorem SimpleGraph.isContained_congr_left

Modification history