Theorem TrivSqZeroExt.topologicalSemiring

Modification history