Theorem PerfectClosure.liftOn_mk

Modification history