OAI/LinearAlgebra/MatrixMultiplication/Numerical/
183 declarations, 0 contain sorry, 0 declared as axioms; 11 files
Files
- AllFieldCertificates.lean 30 declarations
- AllFieldCertificatesReplay.lean 41 declarations
- AllFieldCertificatesReplayIntegration.lean 7 declarations
- AllFieldCertificatesReplaySemantics.lean 8 declarations
- AllFieldCertificatesReplayStatic.lean 11 declarations
- ComplexCertificates.lean 14 declarations
- ComplexCertificatesDual.lean 12 declarations
- ComplexCertificatesLog.lean 30 declarations
- ComplexLogThreeCertificate.lean 1 declarations
- ComplexRationalLogCertificate.lean 19 declarations
- CurveLawsCertificates.lean 10 declarations