Theorem Sum.getLeft_map

Modification history