Theorem Cardinal.alephIdx.initialSeg_coe

Modification history