Theorem LinearMap.flip_injective_iff₁

Modification history