Theorem SimpleGraph.locallyLinear_comap

Modification history