Commit 2021-09-29 16:59 a199b46a
View on Github →feat(Tactic/Find): Sebastian's #find command (#51) From https://leanprover.zulipchat.com/#narrow/stream/270676-lean4/topic/.23find
feat(Tactic/Find): Sebastian's #find command (#51) From https://leanprover.zulipchat.com/#narrow/stream/270676-lean4/topic/.23find