Library Stdlib.btauto.Btauto

From Stdlib Require Import Algebra Reflect.