Theorem PFunctor.M.agree_iff_agree'

Modification history