Theorem List.left_eq_take_iff

Modification history