OAI/Geometry/TamingCompatibility/DifferentialForms/HermitianAssembly.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.TamingCompatibility.GeometricHilbert.Hermitian.scalarCorrection_logSource_observer_estimate line 33
2. theorem OAI.TamingCompatibility.GeometricHilbert.Hermitian.scalarCorrection_sqrtSource_observer_estimate line 102