Inductive CategoryTheory.IsCofiltered.cofilteredClosure

Modification history