Commit 2024-08-12 15:04 9bb9d9ec

fix(fun_prop): few bug fixes for fun_prop (#11092) Bug fixes

1. Fix infinite loop triggered by (by fun_prop : ?m)
2. Support for multiple lambda theorems. For example ContinuousOn has multiple versions of composition theorem.
3. Support for special constant lambda theorem. For example IsLinearMap R fun _ => 0 should be registered as constant lambda theorem
4. Improved error messages when trying fun_prop on non-fun_prop goal
5. Improved error messages when missing lambda theorems