Theorem ClosureOperator.conjBy_refl

Modification history