Theorem LinearMap.flip_surjective_iff₁

Modification history