splice-bot

feat(Valuation/ValuativeRel): generalize `ValuativeRel` to non-commutative rings #13475

Sign in to view logs

Triggered via pull request April 12, 2026 14:27

JovanGerb

created #36777

Status Skipped

Total duration 1s

Artifacts –

splice_bot.yaml

on: pull_request_review_comment

call-splice-bot / create-single-file-pr