Compatibility entry point. The checked statement and canonical definitions
now live under the EGZ namespace in EGZ.MainTheorem.
Compatibility entry point. The checked statement and canonical definitions
now live under the EGZ namespace in EGZ.MainTheorem.