isDimAtMost(n, I)
This simply calls isCodimAtLeast, passing options as described there.
The object isDimAtMost is a method function with options.
The source of this document is in FastMinors.m2:2272:0.