Theorem HomotopyCategory.homologyFunctor_map_factors

Modification history