Theorem analyticOnNhd_congr

Modification history