Theorem GaloisCoinsertion.strict_mono_l

Modification history