Theorem SimpleGraph.Dart.symm_involutive

Modification history