OAI/Geometry/Relativity/CKS/MetricSymbols.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.CKSADM.rational_coefficient_symbol line 11
2. theorem OAI.CKSADM.cartB_symbol line 33
3. theorem OAI.CKSADM.constructed_metric_decay line 37
4. theorem OAI.CKSADM.constructed_metric_word_decay line 46