Weights
Formalization in Lean4 of some results in "Minimization of hypersurfaces" by A.-S. Elsenhans and myself
of 6 versions of Weights
1-6Sort by
Date
262a774
v4.22.088db5ee
v4.22.0v4.22.013a68ee
v4.21.0v4.21.0bebd729
v4.20.0v4.20.0ad2337e
v4.19.0v4.19.06445e94
v4.18.0v4.18.0