Skip to content
Back to pull request #42610

[Merged by Bors] - chore(CategoryTheory/Galois): fix namespace for getFiberFunctor #314695

Sign in to view logs

[Merged by Bors] - chore(CategoryTheory/Galois): fix namespace for getFiberFunctor

[Merged by Bors] - chore(CategoryTheory/Galois): fix namespace for getFiberFunctor #314695

Ping maintainers on Zulip

Ping maintainers on Zulip
succeeded Aug 12, 2026 in 7s