OAI/Geometry/TamingCompatibility/Concentration/TransverseDefectCompare.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.TamingCompatibility.PlaneVariation.transverse_graph_sq_bound line 14
2. lemma OAI.TamingCompatibility.PlaneVariation.defect_quotient_radius_compare line 39