pub fn register_modular_forms(env: &mut Environment)Expand description
Register all modular form axioms into an existing environment.
pub fn register_modular_forms(env: &mut Environment)Register all modular form axioms into an existing environment.