Theorem SimpleGraph.hasse_prod

Modification history

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