Theorem Function.mulSupport_eq_univ

Modification history

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