Theorem SimpleGraph.hasse_adj

Modification history

2023-03-06 07:14
Mathlib/Combinatorics/SimpleGraph/Hasse.lean
feat: port Combinatorics.SimpleGraph.Hasse (#2582) …
Added SimpleGraph.hasse_adjView on Github →