Commit 2024-07-06 09:03 93659125

View on Github →

feat: Sublattice generated by a product set (#13823) ... is the product of the sublattices generated by the sets. From LeanCamCombi

Estimated changes

added theorem Prod.map_id'
modified theorem Prod.map_id
added theorem infClosure_prod
added theorem latticeClosure_prod
added theorem supClosure_prod