Mathlib Changelog
v4
Changelog
About
Github
Def
Condensed.profiniteSolidIsPointwiseRightKanExtension
Modification history
2024-07-06 14:51
Mathlib/Condensed/Solid.lean
feat(CategoryTheory/Functor): refactoring Ran (#14291) …
Added
Condensed.profiniteSolidIsPointwiseRightKanExtension
View on Github →