Theorem IsCoveringMap.exists_path_lifts

Modification history