Theorem toDual_ratCast

Modification history

2024-09-23 08:50

Mathlib/Algebra/Field/Basic.lean

chore(*): Use non-greek variable names here and there (#17035) …

Modified toDual_ratCast View on Github →

2024-04-05 21:50

Mathlib/Algebra/Field/Basic.lean

chore(Field/InjSurj): Tidy (#11480) …

Added toDual_ratCast View on Github →