g" alt="gitter"></img>
            </a>
          </li>


          </ul>
        </div><!-- /.navbar-collapse -->
      </div><!-- /.container-fluid -->
    </nav>
<div class="container">

<h1 class="text-center">Lean Import and Propositions</h1>

<div class="text-justify">
<p>Lean import takes enormously long to a large extent because of the burden of proof awareness.</p>
<h2>The Example code</h2>
<p>For instance, in mapping a <code>group</code> to a <code>semigroup</code>, we halted with the function app