homotopy): compatibilities of null_homotopic_map with composition and additive functors (#12392)

Commit

3 years ago

feat(algebra/homology/homotopy): compatibilities of null_homotopic_map with composition and additive functors (#12392)

Author

joelriou

Parents