Commit 2025-03-02 15:34 30b8a2d9

View on Github →

fea(Algebra/**/Sub*): Subfoo.subtype_injective (#22399) For all subFoo that I could find that defined a FooHom from the subfoo to the ambient foo, define subtype_apply and subtype_injective. Do no clean up of ones that are protected vs not: there is some discrepancy of how that's handled in SubFooClass variants. From FLT

Estimated changes