OAI/GroupTheory/PolycyclicRecognition/Algebra/ListTupleUpdate.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

A tuple update as a prefix, one entry, and a suffix

  1. theorem OAI.PolycyclicRecognition.list_ofFn_update_set line 11
  2. theorem OAI.PolycyclicRecognition.list_ofFn_update_split line 24