Theorem closureOperator_gi_self

Modification history