Zulip Chat Archive
Stream: triage
Topic: issue #1868: Tactic to transfer theorems / definitions us...
Random Issue Bot (Apr 14 2022 at 14:14):
Today I chose issue 1868 for discussion!
Tactic to transfer theorems / definitions using an equivalence.
Created by @Yury G. Kudryashov (@urkud) on 2020-01-08
Labels: meta, feature-request
Is this issue still relevant? Any recent updates? Anyone making progress?
Random Issue Bot (Apr 30 2022 at 14:19):
Today I chose issue 1868 for discussion!
Tactic to transfer theorems / definitions using an equivalence.
Created by @Yury G. Kudryashov (@urkud) on 2020-01-08
Labels: meta, feature-request
Is this issue still relevant? Any recent updates? Anyone making progress?
Random Issue Bot (Aug 27 2022 at 14:13):
Today I chose issue 1868 for discussion!
Tactic to transfer theorems / definitions using an equivalence.
Created by @Yury G. Kudryashov (@urkud) on 2020-01-08
Labels: t-meta, feature-request
Is this issue still relevant? Any recent updates? Anyone making progress?
Random Issue Bot (Nov 02 2022 at 14:26):
Today I chose issue 1868 for discussion!
Tactic to transfer theorems / definitions using an equivalence.
Created by @Yury G. Kudryashov (@urkud) on 2020-01-08
Labels: t-meta, feature-request
Is this issue still relevant? Any recent updates? Anyone making progress?
Random Issue Bot (Feb 17 2023 at 14:09):
Today I chose issue 1868 for discussion!
Tactic to transfer theorems / definitions using an equivalence.
Created by @Yury G. Kudryashov (@urkud) on 2020-01-08
Labels: t-meta, feature-request
Is this issue still relevant? Any recent updates? Anyone making progress?
Random Issue Bot (May 25 2023 at 14:07):
Today I chose issue 1868 for discussion!
Tactic to transfer theorems / definitions using an equivalence.
Created by @Yury G. Kudryashov (@urkud) on 2020-01-08
Labels: t-meta, feature-request
Is this issue still relevant? Any recent updates? Anyone making progress?
Random Issue Bot (Aug 14 2023 at 14:08):
Today I chose issue 1868 for discussion!
Tactic to transfer theorems / definitions using an equivalence.
Created by @Yury G. Kudryashov (@urkud) on 2020-01-08
Labels: t-meta, feature-request
Is this issue still relevant? Any recent updates? Anyone making progress?
Last updated: Dec 20 2023 at 11:08 UTC