Commit 2023-12-26 07:50 e49f0e60

View on Github →

chore: remove deprecated MulEquiv.map_prod, AddEquiv.map_sum (#9078)

Estimated changes

deleted theorem AlgEquiv.map_sum