Skip to content

Update lecture.md#84

Merged
nmheim merged 1 commit intoJuliaTeachingCTU:2022Wfrom Kunz-David:patch-4Oct 11, 2022

Commits

Commits on Oct 9, 2022