IndisputableMonolith.Cosmology.DarkEnergyScaleAffinityDerivation

declarations in this module (10)

• structure NoHiddenScaleCoordinate L44
• def noHidden_to_scaleAffine L56
• theorem noHidden_forces_identity L65
• theorem noHidden_forces_linearZ L71
• theorem noHidden_forces_canonical_deviation L77
• theorem noHidden_forces_canonical_kernel L87
• def canonicalNoHiddenScaleCoordinate L99
• theorem canonicalNoHidden_maps_to_canonical L108
• structure ScaleAffinityDerivationCert L115
• def scaleAffinityDerivationCert L138