Theorem RingEquiv.quotientBot_symm_mk

Modification history