Theorem ModularForm.toSlashInvariantForm_intCast

Modification history