Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
faial-artifact-journal
README.md
Find file
Blame
History
Permalink
theorem3 is now known as Proposition 1
· c38fba53
Dennis Liew
authored
Feb 28, 2022
c38fba53