facts icon indicating copy to clipboard operation
facts copied to clipboard

Published 20 hours ago • verified publisher icon mrkkrp

Add a standard library of useful properties and axioms

Open mrkkrp opened this issue 6 years ago • 0 comments

mrkkrp avatar Jun 15 '18 19:06 mrkkrp