Skip to content

better docstring

d6d9cd8
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Closed

[Merged by Bors] - feat(AlgebraicTopology): transport a model category structure by an equivalence #39032

better docstring
d6d9cd8
Select commit
Loading
Failed to load commit list.