Skip to content
Back to pull request #17841

Fixes #15221: a case of invalid eta-expansion in notation printing #6537

Sign in to view logs

Fixes #15221: a case of invalid eta-expansion in notation printing

Fixes #15221: a case of invalid eta-expansion in notation printing #6537

The logs for this run have expired and are no longer available.