Def CategoryTheory.Pretopology.trivial

Modification history