Theorem ENat.card_congr

Modification history