vectors_2D_def : THEORY
BEGIN
Vect2 : TYPE = [# x, y: real #]
mk_vect2(x,y:real) : MACRO Vect2 = (# x := x, y := y #)
CONVERSION mk_vect2
END vectors_2D_def
| Messung V0.5 in Prozent |
|---|
| | | |
[zur Elbe Produktseite wechseln0.5QuellennavigatorsAnalyse erneut starten2026-04-26]