Weights
Formalization in Lean4 of some results in "Minimization of hypersurfaces" by A.-S. Elsenhans and myself
of 5 versions of Weights
1-5Sort by
Date
13a68ee
v4.21.0v4.21.0bebd729
v4.20.0v4.20.0ad2337e
v4.19.0v4.19.06445e94
v4.18.0v4.18.06445e94
v4.18.0v4.18.0