Skip to content

feat(Relativity): equality case of the reverse triangle inequality, twin paradox age gap zero - #1643

Merged
jstoobysmith merged 7 commits into
leanprover-community:masterfrom
KevorkianPhilippe:twin-paradox-12
Sep 12, 2026
Merged

jstoobysmith merged 7 commits into
leanprover-community:masterfrom
KevorkianPhilippe:twin-paradox-12

style(Relativity): indent the statement of ageGap_eq

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