Commit 2024-10-22 08:37 616d4640
View on Github →chore(BorelSpace/Order): allow anonymous dot notation on Measurable
lemma (#17814)
From GibbsMeasure
chore(BorelSpace/Order): allow anonymous dot notation on Measurable
lemma (#17814)
From GibbsMeasure