Theorem LinearPMap.mem_inverse_graph

Modification history