Theorem SimpleGraph.isContained_congr

Modification history