Commit 2024-08-05 16:02 d167cb0f

View on Github →

feat: add mul_self_tsub_mul_self (#15494)

Estimated changes

added theorem mul_self_tsub_mul_self
added theorem mul_self_tsub_one
added theorem sq_tsub_sq