Theorem Opposite.op_injective

Modification history