Mathlib v3 is deprecated. Go to Mathlib v4

Theorem simple_graph.not_is_diag_of_mem_edge_set

Modification history