Theorem Subring.mem_bot

Modification history