Project Page Index Table of Contents

FinMatrix.CoqExt.RExt.RExtExp

Require Export RExtBase.

Basic automation

Hint Rewrite
exp_0
: R.

Additional properties

Generated by coqdoc and improved with CoqdocJS