Theorem WithOne.map₂_coe_right

Modification history