Theorem Function.Involutive.toPerm_involutive

Modification history