User blog comment:P進大好きbot/New Large Number beyond MK set theory/@comment-30846880-20181029173115

IsDom = is domain IsCod = is codomain IsMap = is map IsSeq = is sequence IsEnt = is ? IsCstTrm = is constant term IsParaFrCstTrm = is parameter free constant term? IsParaFrPFml = is parameter free P formula?