Theorem RatFunc.toFractionRing_inj

Modification history

2026-03-05 14:15
Mathlib/FieldTheory/RatFunc/Defs.lean
feat(RatFunc): add notation for RatFunc (#36172) …
Modified RatFunc.toFractionRing_injView on Github →
2024-12-30 10:07
Mathlib/FieldTheory/RatFunc/Defs.lean
chore: Rename injectivity theorems for consistency (#20329) …
Added RatFunc.toFractionRing_injView on Github →