Commit 2025-10-25 21:04 f6f92259
View on Github →chore(CategoryTheory/Sites/Precoverage): remove universe parameters in IsStableUnderBaseChange etc. (#30835)
The additional universe parameters provide little value and I am not aware of any practical applications. Moreover, it is a theorem that being max u v-stable under base change (resp. stable under composition) implies being w-stable under base change (resp. stable under composition) for any w.