Closed EgbertRijke closed 3 weeks ago
The name equiv-comp was not in accordance with our general naming scheme for compositions of maps, where often we name comp first, and then the kind of morphism that the composition operation acts on.
equiv-comp
comp
The name
equiv-compwas not in accordance with our general naming scheme for compositions of maps, where often we namecompfirst, and then the kind of morphism that the composition operation acts on.