Theorem Setoid.card_classes_ker_le

Modification history