Commit 2024-09-23 08:50 b4dda71e

chore(*): Use non-greek variable names here and there (#17035) ... for monoids, rings, and fields.

modified theorem add_div'

modified theorem add_div

modified theorem div_add'

modified theorem div_add_div

modified theorem div_add_div_same

modified theorem ofDual_ratCast

modified theorem ofLex_ratCast

modified theorem toDual_ratCast

modified theorem toLex_ratCast

modified theorem NNRat.cast_def

modified theorem NNRat.smul_def