Skip to content

rename

de46ae9
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Closed

[Merged by Bors] - feat(Algebra/ModuleCat): extension of scalars is comonadic for a faithfully flat algebra #32326

rename
de46ae9
Select commit
Loading
Failed to load commit list.