Theorem PerfectClosure.mk_inv

Modification history