Theorem PerfectClosure.frobenius_mk

Modification history