Theorem ChainComplex.map_chain_complex_of

Modification history