1. Top
  2. mathematics_in_lean
  3. Files
  4. MIL
  5. Common.lean
mathematics_in_lean

My solutions for this book

  1. 1
  2. 2
  3. 3
  4. 4 
import Mathlib.Tactic
import Mathlib.Util.Delaborators

set_option warningAsError false