Theorem ENat.card_ulift

Modification history