Theorem galLift_comp

Modification history