sage

5c78eb5c - Merge branch 't/34340/lazyfamily__accept_category_keyword' into families_of_polyhedra_and_mips