Status

Changes

Console Output

View Build Information

Polling Log

Timings

Environment Variables

Mercurial Build Data

Embeddable Build Status

Previous Build

Next Build

Changes

Summary

Used existing 0 an + definitions for functions (thanks to Alexander Maletzky)

Changeset 8526:3a3f930183b7 by jodivaso: Used existing 0 an + definitions for functions (thanks to Alexander Maletzky)
The file was modified	`thys/Rank_Nullity_Theorem/Miscellaneous.thy` (diff)