Theorem homology.condition_π'

Modification history