Theorem AnalyticOnNhd.eval_linearMap'

Modification history