homological_complex): fix doc and names (#15940)

Commit

3 years ago

doc(algebra/homology/homological_complex): fix doc and names (#15940) Some trivial modifications following #15690.

Author

riccardobrasca

Parents