Theorem Cardinal.toPartENat_lift

Modification history