Theorem List.findIdx_cons

Modification history