I'm studying repeated measures ANOVAs, found this example online and can't understand how are the df calculated. What would be the mathematical expression for calculating both df values in this example?
data(obk.long, package = "afex")
# estimate mixed ANOVA on the full design:
aov_car(value ~...