Theorem IsFractionRing.mk'_num_den

Modification history

2023-03-23 14:22

Mathlib/RingTheory/Localization/NumDen.lean

feat: port RingTheory.Localization.NumDen (#3044)

Added IsFractionRing.mk'_num_den View on Github →