lane
lane
@oreo639 is there any way that I can assist this effort?
👀 🥇
Sorry for taking so long to get back to this. I feel like this came off as if I was diminishing your work as yet another vimscirpt plugin, but the...
Thank you!
I will be working on this! Thanks.
Two things: 1) Would you like me to use the Group definition of is-hom to do so (in which case I'm using the Group instance of the modular group to...
just to update you on the status, I've started work on this. so far I've defined an induction principle based on generators S and T (T being defined as SR,...
Yes I will submit an update by this week
Wanted to give a quick update, I did a lot of refactoring of my Universal Property file, I am currently running into an issue when I assume an arbitrary hom...
corrected a small mistake in the preamble, as well as adding to the index file if this is suitable