| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/GAP/pkg/atlasrep/datapkg/ (GAP Algebra Version 4.15.1©) Datei vom 18.8.2013 mit Größe 24 B |
|
Nach dem Mausklick ist die Projektion eines vierdimensionalen Würfels zu sehen Set_Toolkit.thySprache: Isabelle |
|||||||||||||||
|
section ‹ Set Toolkit › theory Set_Toolkit imports "HOL-Library.Multiset" "Relation_Lib" begin text ‹ The majority of the Z set toolkit is implemented in the core libraries of prove all the axioms of ISO 13568 as theorems, but we omit this for now. The mai need is to map between finite sets and the normal set type. declare [[coercion_enabled]] unbundle Z_Type_Syntax end
¤ Dauer der Verarbeitung: 0.11 Sekunden (vorverarbeitet am 2026-09-10) ¤*© Formatika GbR, Deutschland |
|
||||||||||||||
2026-08-25