Theorem List.ofFn_eq_nil_iff

Modification history