Def Condensed.profiniteSolidIsPointwiseRightKanExtension

Modification history