Commit 2021-11-24 10:25 3d0564ad

View on Github →

chore: bump to nightly-2021-11-24 (#107)

Estimated changes

Modified Mathlib/Init/Function.lean

deleted theorem Function.comp_app

Modified Mathlib/Init/Logic.lean

Modified Mathlib/Logic/Function/Basic.lean

deleted theorem Function.comp_apply

deleted theorem Function.const_apply

modified def Function.eval

deleted theorem Function.eval_apply

Modified lean-toolchain