Theorem PerfectClosure.of_apply

Modification history