Caffarelli–Kohn–Nirenberg partial regularity

Source: url:https://github.com/scottnarmstrong/CaffarelliKohnNirenberg/tree/635fa6376aa3d46ae5251cb1d276a8589163f332 Authors: Scott Armstrong, Vlad Vicol Status: verified Main declarations: CKN.caffarelliKohnNirenberg, CKN.epsilonRegularityL3 Tags: Navier–Stokes, partial differential equations, harmonic analysis MSC: 35Q30, 35B65, 42B20, 28A78