Theorem latticeClosure_closed

Modification history