expand_less

结果'基本维恩关系'

2 模板可用。