Theorem Semiring.ext

Modification history