less specialized euclidean relation on int
Description
Description
Details
Details
- Provenance
florian.haftmann Authored on - Parents
- rISABELLE7ce11c135dad: update to Isabelle2022 and Ubuntu 22.04;
- Branches
- Unknown
- Tags
less specialized euclidean relation on int Tags None Subscribers None |