Theorem Flow.map_zero_apply

Modification history