Theorem DirectedOn.is_top_of_is_max

Modification history

2023-01-05 03:18
Mathlib/Order/Directed.lean
feat: synchronize with mathlib3 #17905 (#1280) …
Added DirectedOn.is_top_of_is_maxView on Github →