Symmetrization rigidity for a perimeter minimizer (source code)

= Symmetrization rigidity for a perimeter minimizer

If Steiner symmetrization preserves area and cannot lower the perimeter of a minimizer, equality forces an axis of symmetry in the chosen direction. Applying every direction gives symmetry axes in all directions.