Isabelle17815

expand_less