OAI/Analysis/GroupDeterminants/CompanionTransfer.lean
1 declarations, 0 contain sorry, 0 declared as axioms
- theorem
OAI.GroupRingDeterminant.main_of_companion_inputline 10
OAI/Analysis/GroupDeterminants/CompanionTransfer.lean1 declarations, 0 contain sorry, 0 declared as axioms
OAI.GroupRingDeterminant.main_of_companion_input line 10