Theorem Ordinal.bddAbove_image

Modification history