Spracherkennung für: .md vermutete Sprache: SPS {SPS[80] CS[60] Delphi[60]} [Methode: maximale Elemente, drei Dimensionen]
# moebius
text ‹This theory depends on the following AFP entries:
https://www.isa-afp.org/entries/Poincare_Disc.html
https://www.isa-afp.org/entries/Complex_Geometry.html
They must be downloaded in order to check this theory.
›
When you download these folders, place them in the Isabelle2024 directory and add their names to the ROOTS file.
[Dauer der Verarbeitung: 0.2 Sekunden, vorverarbeitet 2026-10-22]
