Theorem LinearPMap.mem_graph_snd_inj'

Modification history