Theorem Finset.infs_comm

Modification history

2024-03-07 15:09
Mathlib/Data/Finset/Sups.lean
chore(Order): Make more arguments explicit (#11033) …
Modified Finset.infs_commView on Github →
2023-04-08 12:22
Mathlib/Data/Finset/Sups.lean
feat: port Data.Finset.Sups (#1663) …
Added Finset.infs_commView on Github →