Theorem List.IsPrefix.get_eq

Modification history