Theorem AnalyticOnNhd.eval_continuousLinearMap'

Modification history