Theorem Imo1998Q2.add_sq_add_sq_sub

Modification history

2023-10-14 06:04
Archive/Imo/Imo1998Q2.lean
chore(Archive,Counterexamples): use `Type*` not `Type _` (#7663) …
Modified Imo1998Q2.add_sq_add_sq_subView on Github →
2023-07-03 17:59
Archive/Imo/Imo1998Q2.lean
feat: port Archive.Imo.Imo1998Q2 (#5157)
Added Imo1998Q2.add_sq_add_sq_subView on Github →