Theorem List.kinsert_def

Modification history