documentation:release:4.12:tropical:morphism