Skip to content

feat(Cosmology): comoving distance, redshift, Hubble-Lemaitre law, transverse distance and horizons - #1639

Open
KevorkianPhilippe wants to merge 58 commits into
leanprover-community:masterfrom
KevorkianPhilippe:flrw-distances-8
Open

KevorkianPhilippe wants to merge 58 commits into
leanprover-community:masterfrom
KevorkianPhilippe:flrw-distances-8

doc(Cosmology/FLRW): API map for the comoving, proper and transverse …

fc93b4b
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
Add size label
succeeded Sep 17, 2026 in 5s