Theorem IsCoveringMap.eq_liftPath_iff'

Modification history