Commit 2023-02-28 01:55 294082ef

View on Github →

refactor: rename HasSup/HasInf to Sup/Inf (#2475)

Estimated changes

modified theorem abs_eq_sup_inv
modified theorem Finset.inf_eq_inter
modified theorem Finset.sup_eq_union
modified def LinearOrder.lift
modified theorem Filter.EventuallyEq.inf
modified theorem Filter.EventuallyEq.sup
modified theorem Filter.Germ.const_inf
modified theorem Filter.Germ.const_sup
modified structure InfHom
modified structure InfTopHom
modified structure SupBotHom
modified structure SupHom
modified def Lattice.mk'
modified theorem Pi.inf_apply
modified theorem Pi.inf_def
modified theorem Pi.sup_apply
modified theorem Pi.sup_def
modified theorem Prod.fst_inf
modified theorem Prod.fst_sup
modified theorem Prod.inf_def
modified theorem Prod.mk_inf_mk
modified theorem Prod.mk_sup_mk
modified theorem Prod.snd_inf
modified theorem Prod.snd_sup
modified theorem Prod.sup_def
modified theorem Prod.swap_inf
modified theorem Prod.swap_sup
modified def SemilatticeInf.mk'
modified def SemilatticeSup.mk'
modified theorem ofDual_inf
modified theorem ofDual_sup
modified theorem toDual_inf
modified theorem toDual_sup
modified def bihimp
modified theorem bihimp_def
modified def symmDiff
modified theorem symmDiff_def
modified theorem Continuous.inf
modified theorem Continuous.sup
modified theorem continuous_inf
modified theorem continuous_sup