Theorem PerfectClosure.mk_surjective

Modification history