Skip to content

[Merged by Bors] - chore(CategoryTheory/Sites): generalise universes and assumptions in CoverLifting file #53669

[Merged by Bors] - chore(CategoryTheory/Sites): generalise universes and assumptions in CoverLifting file

[Merged by Bors] - chore(CategoryTheory/Sites): generalise universes and assumptions in CoverLifting file #53669

Annotations

1 warning

Add annotations

succeeded May 10, 2024 in 16s