Commit 2025-10-28 10:18 112dbaca
View on Github →feat(RatFunc): scalar tower instance from R[X] (#30963)
A scalar tower in which R[X] occurs induces a scalar tower with RatFunc R.
feat(RatFunc): scalar tower instance from R[X] (#30963)
A scalar tower in which R[X] occurs induces a scalar tower with RatFunc R.