Theorem Function.support_mul_of_ne_zero_left

Modification history

2026-02-06 12:50
Mathlib/Algebra/GroupWithZero/Indicator.lean
feat: add ComplexShape.EulerCharSigns for generalized Euler characteristic (#31121) …
Added Function.support_mul_of_ne_zero_leftView on Github →