Theorem LinearMap.flip_injective_iff₂

Modification history