| Quellcodebibliothek Statistik Leitseite products/sources/formale Sprachen/Isabelle/HOL/Library/ (Beweissystem der NASA Version 6.0.9©) Datei vom 16.11.2025 mit Größe 602 B |
|
SSL exponentiation_aux.pvs Sprache: PVS |
|||||||||
|
exponentiation_aux: THEORY
BEGIN px: VAR posreal n: VAR nat expt_lower_bound: LEMMA 1+n*px <= expt(1+px,n) END exponentiation_aux ¤ Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.0.1Bemerkung: (vorverarbeitet) ¤*Bot Zugriff |
|
2026-03-28