Theorem LinearMap.IsRefl.ker_eq_bot_iff_ker_flip_eq_bot

Modification history