List not supported in [env]
prudhomm opened this issue · 0 comments
prudhomm commented
I would like to write this kind of defintion with a list of properties, this is not supported but it should I think
[env.definition]
--
stem:[\|.\|] : stem:[E \rightarrow \RR] est une *norme* sur stem:[E] ssi elle vérifie :
(N1):: \[ \left( \| x \| = 0 \right) \Longrightarrow (x=0) \]
(N2):: \[\forall\, \lambda\in\RR,\; \forall x\in E, \quad \| \lambda x \| = |\lambda| \; \| x \| \]
(N3):: \[\forall\, x,y \in E, \quad \| x+ y \| \le \|x \| + \|y\|\] (inégalité triangulaire)
--