Theorem List.insert_eq_ite

Modification history