Theorem ModularForm.toSlashInvariantForm_natCast

Modification history