Commit 2024-02-14 12:29 ca4293b7

View on Github →

feat: add the coercion from types satisfying StarAlgEquivClass to StarAlgEquiv (#10368)

Estimated changes