Theorem Finite.isField_of_domain

Modification history