Theorem GaloisInsertion.isLUB_of_u_image

Modification history