Structure CategoryTheory.Precoverage

Modification history