Theorem IsCoveringMap.liftPath_zero

Modification history