Theorem PerfectClosure.mk_zero_zero

Modification history