Theorem latticeClosure_prod

Modification history