Theorem List.bind_eq_nil

Modification history