\remaname 5.5.4 . [01U1]
Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Complete original source context · Original author HTML
\remaname 5.5.4.
Le maximum de deux fonctions tropicalement continues et psh est tropicalement continue et psh. En effet, le maximum de deux fonctions convexes continues l’est encore.