Documentation

Atlas.ArithmeticGeometry.code.VerifyCorollary1326Part2