Theorem Qpf.lawfulFunctor

Modification history