Commit 2026-09-10 15:54 2631d1cc
View on Github →chore: deprecate Subring.closure_preimage_le (#43674) It is an exact duplicate of RingHom.closure_preimage_le in the same file.
chore: deprecate Subring.closure_preimage_le (#43674) It is an exact duplicate of RingHom.closure_preimage_le in the same file.