Theorem Function.invFunOn_apply_eq

Modification history