Theorem GaloisCoinsertion.u_surjective

Modification history