Leonardo de Moura d1009e8405 chore: add simp lemmas, theorem naming convention		2021-02-16 11:53:49 -08:00
..
Basic.lean	chore: add simp lemmas, theorem naming convention	2021-02-16 11:53:49 -08:00
BasicAux.lean	chore: replace variables in src/	2021-01-22 14:36:05 +01:00
Control.lean	feat: add ForIn type class	2021-02-04 17:59:44 -08:00