Zulip Chat Archive

Stream: LftCM22

Topic: Sets and functions

Mario Carneiro (Jul 12 2022 at 19:00):

Here are the slides: sets_and_functions.lean
It is based on MIL chapter 4: Sets and Functions

Last updated: Dec 20 2023 at 11:08 UTC