Inductive CategoryTheory.Presieve.singleton'

Modification history