Theorem galLift_galRestrict'

Modification history