diff options
Diffstat (limited to 'ChangeLog')
| -rw-r--r-- | ChangeLog | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -26,6 +26,10 @@ * Specialized `bool_irrelevance` so that the statement reflects the name + * Added lemma `eqmxMunitP`: two matrices with the same shape + represent the same subspace iff they differ only by a change of + basis. + 24/04/2018 - compatibility with Coq 8.8 and several small fixes - version 1.7 * Added compatibility with Coq 8.8 and lost compatibility with |