Theorem RingTopology.coinduced_continuous

Modification history