Skip to content

refactor(CategoryTheory/Presentable): cleaning up HasCardinalFilteredGenerator(s) #107375

refactor(CategoryTheory/Presentable): cleaning up HasCardinalFilteredGenerator(s)

refactor(CategoryTheory/Presentable): cleaning up HasCardinalFilteredGenerator(s) #107375

label-and-report-new-contributor

succeeded Oct 12, 2025 in 15s