Theorem GaloisInsertion.strict_mono_u

Modification history