Theorem Computation.Equiv.refl

Modification history