mathlib

89c27ccd - feat(category/subobjects): more API on limit subobjects (#7203)

feat(category/subobjects): more API on limit subobjects (#7203) Co-authored-by: Scott Morrison <scott.morrison@gmail.com> Co-authored-by: Markus Himmel <markus@himmel-villmar.de>