Theorem SchwartzMap.delta_apply

Modification history