Theorem IsCoveringMap.liftHomotopy_zero

Modification history