Commit 2025-01-24 10:30 0b8fbb61
View on Github →feat(Analysis/Analytic/IsolatedZeros): vanishing of products (#20996) If a product of analytic functions (on a preconnected set) is zero, then one of the factors is zero.
feat(Analysis/Analytic/IsolatedZeros): vanishing of products (#20996) If a product of analytic functions (on a preconnected set) is zero, then one of the factors is zero.