Theorem WithOne.map₂_coe_coe

Modification history