Theorem WithTop.map₂_top_right

Modification history