Theorem GaloisInsertion.u_le_u_iff

Modification history