Status

Changes

Console Output

View Build Information

Polling Log

Environment Variables

Mercurial Build Data

Embeddable Build Status

Previous Build

Next Build

Changes

Summary

Polynomial algebra cleanup (tuned)

Changeset 63705:7d371a18b6a2 by eberlm _eberlm@in.tum.de_: Polynomial algebra cleanup (tuned)
The file was modified	`src/HOL/Library/Polynomial_Factorial.thy` (diff)