Commit 2024-04-01 09:16 126ee583

View on Github →

chore(AkraBazzi): fix Fintype/Finite (#11816)

Estimated changes

Modified Mathlib/Computability/AkraBazzi/AkraBazzi.lean

modified theorem AkraBazziRecurrence.max_bi_le

modified theorem AkraBazziRecurrence.min_bi_le

modified structure AkraBazziRecurrence