Skip to content
Label PR based on Comment

refactor(SetTheory/Ordinal/Arithmetic): redefine IsLimit to IsSuccLimit #45698

Sign in to view logs

refactor(SetTheory/Ordinal/Arithmetic): redefine IsLimit to IsSuccLimit

refactor(SetTheory/Ordinal/Arithmetic): redefine IsLimit to IsSuccLimit #45698

This job was skipped