mathlib

e269dbc1 - feat(tactic/itauto): Complete intuitionistic prover (#7057)

feat(tactic/itauto): Complete intuitionistic prover (#7057) [As requested on Zulip.](https://leanprover.zulipchat.com/#narrow/stream/113488-general/topic/tauto.20is.20a.20decision.20procedure.3F/near/233222469)