fact: Definition negb_center2_baut_baut_bool : forall B : BAut (BAut Bool), (idpath B) = (idpath B).
imports: HoTT.Basics HoTT.Types Constant HoTT.Truncations.Core HoTT.Truncations.Connectedness Spaces.BAut Pointed.Core