Theorem WithOne.map₂_coe_left

Modification history