92fd028a48f9754601edeed57c025504d0cc046559315acd91df98001324ef6d  FaceCorrelationSumRule.lean
a8e8a6eb55438316dcb305449100a67d8177bcdbda4da08c995194791b6e01ea  axioms-FaceCorrelationSumRule.txt
0a1735ff878b97c7979cb274e6b1f278f5c687b4fe31d343a39b88f12e80f159  CoarseFaceStiffness.lean
174bb91505c02c3992ccfe93b2d4050e540f62e910f14a5cf5d5164b948a5d72  axioms-CoarseFaceStiffness.txt
414e41000bb06d5ca920ad877357b1a42e76bf3e8d57bfc366f37b6d03a95393  CoarseStiffnessFirstOrder.lean
ec3d4561a42b771c6f7ddf3ea7d33e7a21529fc58752eda6a266cca56536255c  axioms-CoarseStiffnessFirstOrder.txt
b36ec7e9b254ead011725560a79b50a30754294a2e563fb260b85d4341159689  FaceMomentStiffness.lean
08d25a04a031c185d9c2269c53482c845a0ec81eec19c9d60530c03b9146947b  axioms-FaceMomentStiffness.txt
7f9ce64a6189ae4f77f0adefff3504670689b02a385c2af6af23d9d508e11d19  StiffnessLevelConstants.lean
456b088d1494cb0c632c3ad9d232d1d988dec98a2da8952d20cfc0c615fbc09f  axioms-StiffnessLevelConstants.txt
0041bf5e176a77979db9edcf49750d729c9ccdc1a5017151aea6d75d564a2195  SpectralFaceMoment.lean
32747d4fb1b81d05f82c02cdb06cad61814252fc7db98a9522a1c7773027f6ff  axioms-SpectralFaceMoment.txt
