Theorem LinearPMap.neg_graph

Modification history