Theorem Real.analyticOnNhd_sin

Modification history