Autoinduct documentation improvement#20

NeuralCoder3 wants to merge 5 commits intorocq-community:mainrocq-community/metaprogramming-rosetta-stone:mainfrom

NeuralCoder3:autoinduct_documentationNeuralCoder3/metaprogramming-rosetta-stone:autoinduct_documentationCopy head branch name to clipboard