Commit 2026-06-22 20:47 cf9c5f70

View on Github →

feat(Analysis/Meromorphic): const_smul lemma (#39833) This allows more general scalar type than the existing smul ones

Estimated changes

added theorem Meromorphic.const_smul