Library HoTT.Algebra.Aut
(* -*- mode: coq; mode: visual-line -*- *)
Require Import Basics.
Require Import Truncations.
Require Import Algebra.ooGroup.
Require Import Spaces.BAut.
Require Import Pointed.Core.
Local Open Scope pointed_scope.
Require Import Basics.
Require Import Truncations.
Require Import Algebra.ooGroup.
Require Import Spaces.BAut.
Require Import Pointed.Core.
Local Open Scope pointed_scope.