Commit 2023-12-23 07:20 bb307ab2

View on Github →

refactor(Order/Extension): use OrderHom (#9232) Redefine toLinearExtension as an OrderHom.

Estimated changes

modified def toLinearExtension