Theorem GaloisInsertion.strictMono_u

Modification history