Theorem AnalyticOnNhd.restrictScalars

Modification history