equal
deleted
inserted
replaced
43 lemmas fst_less_iff = fst_below_iff |
43 lemmas fst_less_iff = fst_below_iff |
44 lemmas snd_less_iff = snd_below_iff |
44 lemmas snd_less_iff = snd_below_iff |
45 lemmas expand_cfun_less = expand_cfun_below |
45 lemmas expand_cfun_less = expand_cfun_below |
46 lemmas less_cfun_ext = below_cfun_ext |
46 lemmas less_cfun_ext = below_cfun_ext |
47 lemmas injection_less = injection_below |
47 lemmas injection_less = injection_below |
48 lemmas approx_less = approx_below |
|
49 lemmas profinite_less_ext = profinite_below_ext |
|
50 lemmas less_up_def = below_up_def |
48 lemmas less_up_def = below_up_def |
51 lemmas not_Iup_less = not_Iup_below |
49 lemmas not_Iup_less = not_Iup_below |
52 lemmas Iup_less = Iup_below |
50 lemmas Iup_less = Iup_below |
53 lemmas up_less = up_below |
51 lemmas up_less = up_below |
54 lemmas Def_inject_less_eq = Def_below_Def |
52 lemmas Def_inject_less_eq = Def_below_Def |