Theorem Option.map₂_def

Modification history