Theorem ClosureOperator.conjBy_trans

Modification history