fact: Definition center_baut_bool_central (g : BAut Bool <~> BAut Bool) (W : BAut Bool) : ap g (negb_center_baut_bool W) = negb_center_baut_bool (g W).
imports: HoTT.Basics HoTT.Types Constant HoTT.Truncations.Core HoTT.Truncations.Connectedness Spaces.BAut Pointed.Core