Theorem FundamentalGroupoid.id_eq_path_refl

Modification history