Random Issue Bot (Nov 18 2020 at 14:19):
Today I chose issue 2882 for discussion!
apply_congr with h
Created by @Scott Morrison (@semorrison) on 2020-05-31
Labels: enhancement, meta
Is this issue still relevant? Any recent updates? Anyone making progress?
Rob Lewis (Nov 18 2020 at 14:23):
This sounds like an easy metaprogramming exercise for anyone who wants a bit of practice!
Last updated: May 18 2021 at 22:15 UTC