Theorem supClosure_idem

Modification history