Theorem AddConstMap.coe_vadd

Modification history