Theorem directed_of₃

Modification history

2024-12-21 08:53
Mathlib/Order/Directed.lean
feat: algebraic hierarchy on DirectLimit (#19893) …
Added directed_of₃View on Github →