Videos

Formalization Of Mathematics Summer School: Sets and Functions (Chapter 4 of MIL)

Presenter
June 6, 2023
SLMath
Formalization Of Mathematics Summer School: Sets and Functions (Chapter 4 of MIL) Thumbnail
Play Video