Skip to content

fix(Order/Notation): unify at correct transparency in sup/inf delaborators#41619

Open
JovanGerb wants to merge 1 commit into
leanprover-community:masterfrom
JovanGerb:Jovan-delab-supinf-transparency
Open

fix(Order/Notation): unify at correct transparency in sup/inf delaborators#41619
JovanGerb wants to merge 1 commit into
leanprover-community:masterfrom
JovanGerb:Jovan-delab-supinf-transparency

Commits