Pb de correction dans squelettemtg32_Ineq_Param
Sur https://bibliotheque.sesamath.net/public/voir/5c974a18d9e4237dfac484ed on a la capture suivante
Ne pas hésitez à participer ou relayer cet appel : Testons ensemble les projets de la forge !
Sur https://bibliotheque.sesamath.net/public/voir/5c974a18d9e4237dfac484ed on a la capture suivante