Commit 2023-11-11 20:09 2def5da5
View on Github →chore: remove SubfieldWithHom (#8333)
It has become our consensus that SubfieldWithHom should be deprecated in favor of IntermediateField.Lifts after discussing with @acmepjz in #6670. @acmepjz got rid of the use of SubfieldWithHom in IsAlgClosed.lift, so nothing depends on it now. In #8221 I extracted some proofs from SubfieldWithHom that are simpler than their Lifts counterparts, so I think now is the time to delete SubfieldWithHom completely, and get rid of this slow proof as a bonus.