Theorem infClosure_prod

Modification history

2024-07-06 09:03
Mathlib/Order/SupClosed.lean
feat: Sublattice generated by a product set (#13823) …
Added infClosure_prodView on Github →