Commit 2024-01-23 19:39 a5d2da9f
View on Github →refactor(Data/Rat/NNRat): move BigOperator lemmas to a new file (#9917)
NNRat has far too many dependencies at the moment. This only removes 20 from its transitive closure (1609 -> 1589 according to lake exe graph and | wc -l), but it's a start.