Theorem SimpleGraph.map_monotone

Modification history