Skip to content

Commit 74da612

Browse files
kbuzzardkbuzzard
committed
rename
1 parent 46bf236 commit 74da612

9 files changed

+0
-0
lines changed

‎FLT/mathlibExperiments/Coalgebra/Monoid.lean ‎FLT/MathlibExperiments/Coalgebra/Monoid.lean

File renamed without changes.

‎FLT/mathlibExperiments/Coalgebra/Sweedler.lean ‎FLT/MathlibExperiments/Coalgebra/Sweedler.lean

File renamed without changes.

‎FLT/mathlibExperiments/Coalgebra/TensorProduct.lean ‎FLT/MathlibExperiments/Coalgebra/TensorProduct.lean

File renamed without changes.

‎FLT/mathlibExperiments/Frobenius.lean ‎FLT/MathlibExperiments/Frobenius.lean

File renamed without changes.

‎FLT/mathlibExperiments/Frobenius2.lean ‎FLT/MathlibExperiments/Frobenius2.lean

File renamed without changes.

‎FLT/mathlibExperiments/FrobeniusRiou.lean ‎FLT/MathlibExperiments/FrobeniusRiou.lean

File renamed without changes.

‎FLT/mathlibExperiments/HopfAlgebra/Basic.lean ‎FLT/MathlibExperiments/HopfAlgebra/Basic.lean

File renamed without changes.

‎FLT/mathlibExperiments/IsCentralSimple.lean ‎FLT/MathlibExperiments/IsCentralSimple.lean

File renamed without changes.

‎FLT/mathlibExperiments/IsFrobenius.lean ‎FLT/MathlibExperiments/IsFrobenius.lean

File renamed without changes.

0 commit comments

Comments
 (0)