Theorem AnalyticOnNhd.eval_linearMap

Modification history