Theorem Option.map_map₂_distrib_right

Modification history