Documentation

Mathlib.Algebra.TrivSqZeroExt