Theorem LinearMap.flip_bijective_iff₂

Modification history