Theorem GaloisCoinsertion.strictMono_l

Modification history