Theorem MonoidHom.map_exists_right_inv

Modification history