Theorem galLift_algebraMap_apply

Modification history