Def SimpleGraph.hasseDualIso

Modification history

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