Previous
Up
Next
Module
Wp.Lang.F.Tset
module
Tset:
Qed.Idxset.S
with type elt = term