Skip to content

Eta-expansion optimization (#18202)

Force eta-expansion in a few places (see #18202).

Edited by Sylvain Henry

Merge request reports