mo271/formal_book

Issues

• `Nat.Pow` is no longer in Mathlib4

  #49 opened 5 months ago by rwst
  2

• Contribution to "Lattice_path_and_determinants" - chapter 32

  #20 opened a year ago by C-h-r-i-s-x
  0

• Contribution to "Binomial coefficients are (almost) never powers"

  #4 opened a year ago by C-h-r-i-s-x
  1