User blog comment:Koteitan/Purely mathematical definition of BMS/@comment-24923514-20191106231524/@comment-35470197-20191107232947

We only consider standard forms, i.e. matrices appearing in the expansion of (0,…,0)(1,…,1). Therefore when expand calls P, then P is actually defined. (Otherwise, expand does not call P.)