Coq-Equations icon indicating copy to clipboard operation
Coq-Equations copied to clipboard

Published 20 hours ago • verified publisher icon mattam82

[feature request] Attributes #[transparent/opaque]

Open mattam82 opened this issue 2 years ago • 0 comments
trafficstars

Pointed out by Éric Tanter

mattam82 avatar Dec 15 '22 17:12 mattam82