[Merged by Bors] - chore(CategoryTheory/Galois): fix namespace for getFiberFunctor - #42610
Closed
joelriou wants to merge 2 commits into
Closed
[Merged by Bors] - chore(CategoryTheory/Galois): fix namespace for getFiberFunctor#42610joelriou wants to merge 2 commits into
getFiberFunctor#42610joelriou wants to merge 2 commits into
background
wait
wait-all
cancel
parallel
Loading