Skip to content

Improve how references are used throughout Physlib - #1613

Merged
jstoobysmith merged 24 commits into
leanprover-community:masterfrom
Alex-Zughaid:references-standardization
Sep 9, 2026
Merged

Improve how references are used throughout Physlib#1613
jstoobysmith merged 24 commits into
leanprover-community:masterfrom
Alex-Zughaid:references-standardization

Update Generalized.lean

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