Theorem latticeClosure_min

Modification history