Theorem IsArithFrobAt.exists_of_isInvariant

Modification history