Theorem List.concat_eq_append'

Modification history