Skip to content

Use #assume and use for FunExt and ExtExt#28

Merged
fizruk merged 2 commits intomasterfrom assume-funext-extextJul 12, 2023

Commits

Commits on Jul 11, 2023