Theorem Subring.range_snd

Modification history