Commit 2026-03-07 21:11 5abab3df
View on Github →chore(CategoryTheory/Limits/Cones): address use of simps! (#36322)
There was a TODO that simps didn't work, but it seems that it does now.
chore(CategoryTheory/Limits/Cones): address use of simps! (#36322)
There was a TODO that simps didn't work, but it seems that it does now.