Def Condensed.lanSheafProfinite

Modification history

2025-03-12 08:26

Mathlib/Condensed/Discrete/Colimit.lean

chore: adapt more whitespace (#22860) …

Modified Condensed.lanSheafProfinite View on Github →

2024-10-16 04:43

Mathlib/Condensed/Discrete/Colimit.lean

feat(Condensed): colimit characterization of discrete condensed sets (#15566) …

Added Condensed.lanSheafProfinite View on Github →