coqtail-math icon indicating copy to clipboard operation
coqtail-math copied to clipboard

Published 20 hours ago • verified publisher icon coq-community

use Nat.Even_EvenT and Nat.Odd_OddT

Open palmskog opened this issue 1 year ago • 0 comments

palmskog avatar Jan 06 '24 22:01 palmskog