Theorem List.IsPrefix.head_eq

Modification history