Theorem LinearMap.flip_surjective_iff₂

Modification history