Theorem Subring.map_bot

Modification history