/sci/ - Science & Math

>>12714946
I know my claim is true, but I'm starting to lean towards it being a consequence more than a part of what you are trying to prove. If we knew that [math]q_*[/math] is a chain map, we could define [math]\partial_n^C (x) = (q_{n-1} \circ d_n \circ g_n)(x)[/math]. Sorry. I'll go for a walk and see if I can get it done after that.