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

Function_sub: 

Rename injS_inj -> inj_S_equiv,
       surjS_surj -> surj_S_equiv,
       bijS_bij -> bij_S_equiv.

Sub_struct, Finite_dim:
Propagate new API (from Function_sub).
parent 37519fe1
No related branches found
No related tags found
No related merge requests found
Pipeline #7082 waiting for manual action
Stage: test
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