Commit 2024-04-07 17:47 47626527

View on Github →

feat(Algebra/Module): Use coercion from SemilinearEquivClass to SemilinearEquiv (#11966)

Estimated changes