Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
perf (Functor.Flat): restructure proof to reduce simp time (#8065)
This file recently jumped almost 200% in #8051. Changing a `simpa using X` call into a `convert X <;> simp` cuts the clock time for the file in half.
- Loading branch information