Theorem ENat.card_plift

Modification history