Open prudhomm opened 7 years ago
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) --
I would like to write this kind of defintion with a list of properties, this is not supported but it should I think