Theorem Directed.finset_le

Modification history

2023-01-16 09:19
Mathlib/Data/Finset/Order.lean
feat: port Data.Finset.Order (#1584)
Added Directed.finset_leView on Github →