Theorem SimpleGraph.hasseDualIso_symm_apply

Modification history

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