Theorem Ordinal.zero_opow'

Modification history