Description: Choice-free analogue of iblabs . As with ibladdnc , a measurability hypothesis is needed. (Contributed by Brendan Leahy, 7-Nov-2017)
Ref | Expression | ||
---|---|---|---|
Hypotheses | iblabsnc.1 | |
|
iblabsnc.2 | |
||
iblabsnc.m | |
||
Assertion | iblabsnc | |