Theorem Computation.liftRel_congr

Modification history