Theorem Function.Involutive.prodMap

Modification history