Def AddHomPlus2.Simps.mul

Modification history

2023-09-22 11:29
test/Simps.lean
chore: exactly 4 spaces in subsequent lines for def (#7321)
Modified AddHomPlus2.Simps.mulView on Github →
2022-11-20 06:21
test/Simps.lean
fix(Tactic/Simps): use capital letter for namespace (#647) …
Added AddHomPlus2.Simps.mulView on Github →