Commit 2023-07-01 13:49 44c828ca

View on Github →

feat: API around Small (#5645) @fpvandoorn, could you help me with the to_additive problem here?

Estimated changes

added theorem equivShrink_add
added theorem equivShrink_div
added theorem equivShrink_inv
added theorem equivShrink_mul
added theorem equivShrink_neg
added theorem equivShrink_sub
added theorem equivShrink_symm_add
added theorem equivShrink_symm_div
added theorem equivShrink_symm_inv
added theorem equivShrink_symm_mul
added theorem equivShrink_symm_neg
added theorem equivShrink_symm_one
added theorem equivShrink_symm_sub
added theorem equivShrink_symm_zero