Theorem IsPerfectClosure.equiv_apply

Modification history