圈圈's Highlights on 'OLCreate: TI-AIE TI-AIE: Conjecturing and generalising in mathematics: introducing algebra: 4 Moving on to more formal generalisations | OLCreate' | Glasp