Theorem AlgEquiv.quotientBot_symm_mk

Modification history