Theorem function.mul_support_inv'
Modification history
2022-05-23 01:49
src/algebra/support.lean
refactor(algebra/big_operators/*): Generalize to division monoids (#14189) …
Modified function.mul_support_inv'View on Github →2021-10-19 20:59
src/algebra/support.lean
refactor(*): rename some declarations ending with '' (#9504)
Added function.mul_support_inv'View on Github →