MA4N1.lean

import MA4N1.L00_intro
import MA4N1.L01_polynomials
import MA4N1.L01_polynomials_no_sols
import MA4N1.L02_generalizations
import MA4N1.L03_groups
import MA4N1.L03_groups_no_sols
import MA4N1.L04_definitions
import MA4N1.L05_graphs
import MA4N1.L05_graphs_no_sols
import MA4N1.L05_limits
import MA4N1.L05_limits_no_sols
import MA4N1.L06_typeclasses
import MA4N1.L07_calculations
import MA4N1.L08_Ri_easy
import MA4N1.L08_Ri_easy_no_sols
--import MA4N1.L08_Ri_hard
--import MA4N1.L08_Ri_hard_no_sols
import MA4N1.L09_noncomputable_IsSquare
import MA4N1.L10_dvd_induction
import MA4N1.L10_dvd_induction_no_sols
import MA4N1.L11_autoImplicits
import MA4N1.L12_pathologies
import MA4N1.L13_deriv_pathologies
import MA4N1.L13_deriv_pathologies_no_sols
import MA4N1.L14_in_implicit_explicit
import MA4N1.L15_setoids
import MA4N1.L16_setoids_week_end
import MA4N1.L16_setoids_week_end_no_sols
import MA4N1.L17_navigating_Mathlib
import MA4N1.L18_finiteness
import MA4N1.Matrices
import MA4N1.help_me