Commit 2024-08-31 18:37 2b3a9f77
View on Github →chore(Init/Data/Quot): better naming (#16252)
Quot.exact
↦ Quot.eqvGen_exact
Quot.EqvGen_sound
↦ Quot.eqvGen_sound
chore(Init/Data/Quot): better naming (#16252)
Quot.exact
↦ Quot.eqvGen_exact
Quot.EqvGen_sound
↦ Quot.eqvGen_sound