Theorem MonoidHom.map_exists_left_inv

Modification history