Theorem List.isEmpty_iff_eq_nil

Modification history