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.

Estimated changes