Theorem GaloisInsertion.u_injective

Modification history