Theorem Covby.succ_eq

Modification history