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