Theorem Opposite.unop_injective

Modification history