typos in conclusion #42
Merged
Annotations
10 warnings
|
theories/preliminaries.v#L81
Reference muln_rec is deprecated since mathcomp 2.3.0.
|
|
theories/preliminaries.v#L80
Reference muln_rec is deprecated since mathcomp 2.3.0.
|
|
theories/preliminaries.v#L80
Reference muln_rec is deprecated since mathcomp 2.3.0.
|
|
theories/preliminaries.v#L80
Reference muln_rec is deprecated since mathcomp 2.3.0.
|
|
theories/preliminaries.v#L53
Reference addn_rec is deprecated since mathcomp 2.3.0.
|
|
theories/preliminaries.v#L53
Reference addn_rec is deprecated since mathcomp 2.3.0.
|
|
theories/preliminaries.v#L53
Reference muln_rec is deprecated since mathcomp 2.3.0.
|
|
theories/preliminaries.v#L53
Reference muln_rec is deprecated since mathcomp 2.3.0.
|
|
theories/preliminaries.v#L53
Reference addn_rec is deprecated since mathcomp 2.3.0.
|
|
theories/preliminaries.v#L53
Reference muln_rec is deprecated since mathcomp 2.3.0.
|
The logs for this run have expired and are no longer available.
Loading