A Lean companion to “Analysis I” (via mseri) — discussion

#formalmethods #math