Theorem DirectedOn.is_bot_of_is_min

Modification history

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