Theorem GaloisInsertion.l_u_eq

Modification history