sage

c0ad65b2 - LazyFamily.__init__: Category when index set is infinite depends on is_injective