Frobenius Theorem
1
Introduction
2
Frobenius Theorem
Dependency graph
1 Introduction
This project aims to really formalize the Frobenius Theorem from differential geometry in Lean 4.