Skip to content

feat(Relativity): reverse Cauchy-Schwarz and triangle inequalities, twin paradox age gap nonnegative - #1642

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

jstoobysmith merged 3 commits into
leanprover-community:masterfrom
KevorkianPhilippe:twin-paradox-11

style(Relativity): name the lemmas after their causallyFollows hypoth…

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