Commit 2024-11-03 19:16 bade815c
View on Github →chore(FieldTheory/RatFunc): clean up porting notes (#18001)
I saw RatFunc.Defs
and RatFunc.Basic
were full of porting notes, so I went through and cleaned up the files. Mostly I tried to redo proofs that became messy during the port.