Skip to content
GitLab
Explore
Sign in
Pierre Letouzey
natded
Repository
natded
Peano.v
Find file
Blame
History
Permalink
Dedicated boolean functions term_fclosed and form_closed (easier that Names.Empty ...)
· f776c5b0
Pierre Letouzey
authored
Jul 21, 2020
f776c5b0