Theorem CochainComplex.prev_nat_zero

Modification history