fact: Definition ap_pr1_negb_baut_bool_bool : (negb_center_baut_bool pt)..1 = path_universe negb.
imports: HoTT.Basics HoTT.Types Constant HoTT.Truncations.Core HoTT.Truncations.Connectedness Spaces.BAut Pointed.Core