Theorem SimpleGraph.Dart.toProd_injective

Modification history