fact: Definition aut_baut_bool_idmap_or_negb (Z : BAut Bool) (e : Z <~> Z) : (e = equiv_idmap Z) + (e = negb_baut_bool Z).
imports: HoTT.Basics HoTT.Types Constant HoTT.Truncations.Core HoTT.Truncations.Connectedness Spaces.BAut Pointed.Core