HomeIsabelle/Phabricator

generalized lemma subst_same_var_weakly_monotone_imp_same_degree

Description

generalized lemma subst_same_var_weakly_monotone_imp_same_degree

Details