Def GaloisCoinsertion.monotoneIntro

Modification history