Theorem QPF.lawfulFunctor

Modification history