Theorem SimpleGraph.map_lineGraph_le_of_le

Modification history

2026-03-26 13:40
Mathlib/Combinatorics/SimpleGraph/LineGraph.lean
chore(Combinatorics/SimpleGraph): fix order diamonds (#37148) …
Added SimpleGraph.map_lineGraph_le_of_leView on Github →