Commit 2024-09-12 06:16 bb2f2f9f

feat: improve subst_hom_lift macro (#16304) Previously this macro was defined in a very naive way, and only took idents as arguments. Now it can handle more complicated arguments, e.g. if the function f is of the form F.map g for some functor F