subst 📖 | CompOp | 55 mathmath: Cslib.LambdaCalculus.LocallyNameless.Fsub.Ty.open_subst, Cslib.LambdaCalculus.LocallyNameless.Fsub.Term.open_ty_subst_ty_intro, Cslib.LambdaCalculus.LocallyNameless.Fsub.Term.open_tm_subst_ty, Cslib.LambdaCalculus.LocallyNameless.Fsub.Term.openRec_tm_subst_tm, Cslib.LambdaCalculus.LocallyNameless.Fsub.Ty.subst_def, Cslib.LambdaCalculus.LocallyNameless.Untyped.Term.subst_abs, Cslib.LambdaCalculus.LocallyNameless.Fsub.Term.open_ty_subst_tm, Cslib.LambdaCalculus.LocallyNameless.Untyped.Term.subst_fresh, Cslib.LambdaCalculus.LocallyNameless.Fsub.Ty.open_subst_intro, Cslib.LambdaCalculus.LocallyNameless.Fsub.Term.openRec_ty_subst_tm, Cslib.LambdaCalculus.LocallyNameless.Fsub.Term.open_ty_subst_ty, Cslib.LambdaCalculus.LocallyNameless.Fsub.Term.subst_tm_lc, Cslib.LambdaCalculus.LocallyNameless.Fsub.Binding.subst_sub, Cslib.LambdaCalculus.LocallyNameless.Fsub.Term.subst_ty_def, Cslib.LambdaCalculus.LocallyNameless.Fsub.Ty.openRec_subst_intro, Cslib.LambdaCalculus.LocallyNameless.Fsub.Env.Wf.map_subst_nmem, Cslib.LambdaCalculus.LocallyNameless.Stlc.Typing.typing_subst_head, Cslib.LambdaCalculus.LocallyNameless.Untyped.Term.subst_preserve_not_fvar, Cslib.LambdaCalculus.LocallyNameless.Untyped.Term.FullBeta.redex_subst_cong, Cslib.LambdaCalculus.LocallyNameless.Untyped.Term.subst_openRec, Cslib.LambdaCalculus.LocallyNameless.Untyped.Term.subst_app, Cslib.LambdaCalculus.LocallyNameless.Fsub.Term.subst_tm_fresh, Cslib.LambdaCalculus.LocallyNameless.Fsub.Env.Wf.map_subst, Cslib.LambdaCalculus.LocallyNameless.Fsub.Term.openRec_ty_subst_ty, Cslib.LambdaCalculus.LocallyNameless.Untyped.Term.subst_def, Cslib.LambdaCalculus.LocallyNameless.Untyped.Term.subst_intro, Cslib.LambdaCalculus.LocallyNameless.Untyped.Term.open_close_to_subst, Cslib.LambdaCalculus.LocallyNameless.Fsub.Term.open_tm_subst_tm, Cslib.LambdaCalculus.LocallyNameless.Fsub.Typing.subst_tm, Cslib.LambdaCalculus.LocallyNameless.Untyped.Term.subst_fvar, Cslib.LambdaCalculus.LocallyNameless.Fsub.Term.subst_ty_lc, Cslib.LambdaCalculus.LocallyNameless.Untyped.Term.subst_open, Cslib.LambdaCalculus.LocallyNameless.Fsub.Term.openRec_ty_subst_ty_intro, Cslib.LambdaCalculus.LocallyNameless.Fsub.Sub.map_subst, Cslib.LambdaCalculus.LocallyNameless.Untyped.Term.para_subst, Cslib.LambdaCalculus.LocallyNameless.Fsub.Term.openRec_tm_subst_tm_intro, Cslib.LambdaCalculus.LocallyNameless.Untyped.Term.subst_bvar, Cslib.LambdaCalculus.LocallyNameless.Fsub.Term.open_tm_subst_tm_intro, Cslib.LambdaCalculus.LocallyNameless.Fsub.Binding.subst_fresh, Cslib.LambdaCalculus.LocallyNameless.Fsub.Ty.subst_fresh, Cslib.LambdaCalculus.LocallyNameless.Fsub.Ty.openRec_subst, Cslib.LambdaCalculus.LocallyNameless.Fsub.Term.open_ty_subst_tm_var, Cslib.LambdaCalculus.LocallyNameless.Fsub.Ty.subst_lc, Cslib.LambdaCalculus.LocallyNameless.Fsub.Term.open_ty_subst_ty_var, Cslib.LambdaCalculus.LocallyNameless.Fsub.Term.subst_ty_fresh, Cslib.LambdaCalculus.LocallyNameless.Fsub.Term.open_tm_subst_ty_var, Cslib.LambdaCalculus.LocallyNameless.Untyped.Term.subst_lc, Cslib.LambdaCalculus.LocallyNameless.Fsub.Term.open_tm_subst_tm_var, Cslib.LambdaCalculus.LocallyNameless.Fsub.Term.subst_tm_def, Cslib.LambdaCalculus.LocallyNameless.Untyped.Term.subst_open_var, Cslib.LambdaCalculus.LocallyNameless.Fsub.Typing.subst_ty, Cslib.LambdaCalculus.LocallyNameless.Stlc.Typing.subst_aux, Cslib.LambdaCalculus.LocallyNameless.Fsub.Binding.subst_ty, Cslib.LambdaCalculus.LocallyNameless.Fsub.Term.openRec_tm_subst_ty, Cslib.LambdaCalculus.LocallyNameless.Fsub.Ty.open_subst_var
|