Theorem galRestrict'_galLift

Modification history