Status

Changes

Console Output

View Build Information

Polling Log

Timings

Environment Variables

Mercurial Build Data

Embeddable Build Status

Previous Build

Next Build

Changes

Summary

facts about cardinality of vector type

Changeset 66281:6ad54b84ca5d by eberlm _eberlm@in.tum.de_: facts about cardinality of vector type
The file was modified	`src/HOL/Analysis/Finite_Cartesian_Product.thy` (diff)