Theorem IsCoveringMap.eq_liftPath_iff

Modification history