Def CategoryTheory.Pretopology.trivial

Modification history

2023-03-26 08:04

Mathlib/CategoryTheory/Sites/Pretopology.lean

feat: port CategoryTheory.Sites.Pretopology (#3093)

Added CategoryTheory.Pretopology.trivial View on Github →