Published package / CLIR

ckn.partial_regularity_1982

v0.1.0

Caffarelli-Kohn-Nirenberg (1982): partial regularity -- the singular set of a suitable weak solution has parabolic 1-dimensional Hausdorff measure zero, not full smoothness