Theorem LinearMap.separatingRight_iff_flip_ker_eq_bot

Modification history