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: May 02 2025 at 03:31 UTC