Theorem analyticOnNhd_congr'

Modification history