linear_map.bijective_of_ne_zero source