Theorem Function.Involutive.comp_self

Modification history