Skip to content
Snippets Groups Projects
Commit 9976978e authored by François Clément's avatar François Clément
Browse files

Rename dim -> has_dim, 

       aff_dim -> has_aff_dim,
  except when the lemma actually state something on the dimension,
  eg dim_is_unique.
Rename *_finite_dim_* -> *_fin_dim_*.
parent 73cfd37e
No related branches found
No related tags found
No related merge requests found
Pipeline #7580 waiting for manual action
Stage: test
Expand all Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment