Theorem Sum.isLeft_map

Modification history