Theorem Cardinal.IsRegular.ord_pos

Modification history