Theorem PerfectClosure.mk_succ_pow

Modification history