Theorem Function.Involutive.toPerm_symm

Modification history