Skip to content

Add more examples of functors to witness property combinations#306

Open
ScriptRaccoon wants to merge 15 commits into
mainfrom
torsion-free-inclusion
Open

Add more examples of functors to witness property combinations#306
ScriptRaccoon wants to merge 15 commits into
mainfrom
torsion-free-inclusion

add implication: pseudomonic => conservative

d0c882f
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar