We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 22f85e8 commit b49e548Copy full SHA for b49e548
CaseStudies/Velvet/VelvetExamples/Demo/OneThird.lean
0 commit comments