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