Theorem analyticOnNhd_const

Modification history