Documentation

LeanPool.ErdosGinzburgZiv.ErdosGinzburgZivPrime

Compatibility entry point. The implementation now lives in the organized project module EGZ.ZeroSum.DimensionOne.