Theorem IsCoveringMap.liftPath_lifts

Modification history