Theorem AnalyticOnNhd.eval_continuousLinearMap

Modification history