Theorem Function.invFunOn_eq

Modification history