Theorem SimpleGraph.Path.map_injective

Modification history