Status

Changes

Console Output

View Build Information

Polling Log

Timings

Environment Variables

Mercurial Build Data

Embeddable Build Status

Previous Build

Next Build

Changes

Summary

add lemma on lists from Falling_Factorial_Sum entry

Changeset 67478:14d3163588ae by bulwahn: add lemma on lists from Falling_Factorial_Sum entry
The file was modified	`src/HOL/List.thy` (diff)