rahmenlose Ansicht.dune DruckansichtLatech {Latech[114] Fortran[215] Delphi[224]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
(library
(name fourier_plugin)
(public_name coq.plugins.fourier)
(synopsis "Coq's fourier plugin")
(libraries coq.plugins.ltac))
[ Verzeichnis aufwärts0.61unsichere Verbindung
]
