Theorem PFunctor.Approx.head_succ'

Modification history