Theorem Subsemiring.range_fst

Modification history