Def CategoryTheory.Pretopology.gi

Modification history

2023-03-26 08:04

Mathlib/CategoryTheory/Sites/Pretopology.lean

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

Added CategoryTheory.Pretopology.gi View on Github →