Def qsmulRec

Modification history

2024-04-23 09:54

Mathlib/Algebra/Field/Defs.lean

chore: Final cleanup before `NNRat.cast` (#12360) …

Deleted qsmulRec View on Github →

2022-11-30 21:35

Mathlib/Algebra/Field/Defs.lean

feat: port Algebra.Field.Defs (#668) …

Added qsmulRec View on Github →