rename compute_* lemmas to *_beta* lemmas #1962
Annotations
1 error
|
Run coq-community/docker-coq-action@v1:
theories/Spaces/Finite/FinNat.v#L49
Universe
HoTT.Spaces.Finite.FinNat.159 (File "./theories/Spaces/Finite/FinNat.v", line 47, characters 29-30)
is unbound.
Command exited with non-zero status 1
|
Loading