Theorem LinearMap.flip_inj

Modification history