Theorem infClosure_min

Modification history