Theorem Cardinal.ofENat_zero

Modification history