Theorem quadraticChar_card_sqrts

Modification history