| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Isabelle/Archive-of-Formal-Proofs/thys/Ordinal/ Datei vom 31.4.2026 mit Größe 191 B |
|
Quelle Ordinal.thySprache: Isabelle |
|||||||||||||||
|
(* Title: Countable Ordinals Author: Brian Huffman, 2005 Maintainer: Brian Huffman <brianh at cse.ogi.edu> *) (*<*) theory Ordinal imports OrdinalVeblen begin end (*>*)
¤ Dauer der Verarbeitung: 0.8 Sekunden (vorverarbeitet am 2026-06-13) ¤*© Formatika GbR, Deutschland |
|
||||||||||||||
2026-06-12