Commit 2024-03-24 10:44 08656373

View on Github →

doc: Improve Field's fields docstrings (#11508) Reduce the diff of #11203

Estimated changes

modified def Rat.castRec
modified theorem Rat.smul_def