Project Page
Index
Table of Contents
FinMatrix.CoqExt.RExt.RExtExp
Require
Export
RExtBase
.
Basic automation
#[
export
]
Hint
Rewrite
exp_0
:
R
.
Additional properties