Theorem Subring.range_fst

Modification history