Closed echatav closed 10 years ago
Started work on instance Semitensor (Day c t). Also using the synonyms Copresheaf and CopresheafOf.
Started work on instance Semitensor (Day c t). Also using the synonyms Copresheaf and CopresheafOf.