Theorem Equiv.Perm.perm_inv_on_of_perm_on_finite

Modification history