Theorem Basis.card_le_card_of_le

Modification history