Theorem GaloisField.finrank

Modification history