Theorem Function.support_mul_of_ne_zero_right

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_right View on Github →