Theorem Real.analyticOnNhd_cos

Modification history