fix: revert "monadic generalization of FindExpr"#4125

Merged

leodemoura merged 1 commit intoleanprover:masterfrom arthur-adjedj:findM_remove

May 10, 2024

+27-33

Commits on May 10, 2024

fix: revert "monadic generalization of FindExpr (leanprover#3970 )"
arthur-adjedj
committed