Theorem Unitization.algebraMap_eq_inlRingHom_comp

Modification history