Arxiv Allmetadata only
Formalizing Extended Complex Numbers, Mobius Transformations, and Cross Ratio in Lean 4
complex variables, mathematical software, 30-04
This document is indexed with metadata only — full text is not available in the archive for this record.
Open the official source ↗
Record · ID 630048
Retrieved via
Conceptio — every document is proof-bundled with source, license, and retrieval metadata.