Skip to content

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

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

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

Annotations

2 notices

Add topic label

succeeded Oct 12, 2025 in 53s