Theorem Functor.ext

Modification history